Towards Partial Order Reductions for Strategic Ability
نویسندگان
چکیده
منابع مشابه
Partial order reductions for checking
The paper deals with veriication of untimed branching time properties of Time Petri Nets. The atomic variant of the geometric region method for preserving properties of CTL and ACTL is improved. Then, it is shown, for the rst time, how to apply the partial order reduction method to deal with next-time free branching properties of Time Petri Nets. The above two results are combined ooering an ee...
متن کاملPartial Order Reductions
Streszczenie Problem eksplozji stann ow mo_ ze zosta c ograniczony poprzez u_ zycie redukcji cz , e sciowo-porz , adkowych. Metody te polegaj , a na budowaniu tylko frag-mentu pee lnej przestrzeni stann ow programu, ktt ory jest wystarczaj , acy do wery-kacji formuu l logik temporalnych LTL ?X lub CTL ?X (tzn. LTL lub CTL* bez operatora nast , epnego kroku). Jest to zagwarantowane poprzez za-ch...
متن کاملStatic Partial Order Reductions for Probabilistic Systems
The present Master’s thesis seeks the development and analysis of static partial order reduction techniques for the models of probabilistic systems. The properties of those systems can be verified via model checking technique. Model checking suffers from the problem known as State Space Explosion, which can make the verification process intractable. Partial order reductions are aimed at allevia...
متن کاملPartial Order Reductions for Timed Systems
In this paper, we present a partial-order reduction method for timed systems based on a local-time semantics for networks of timed automata. The main idea is to remove the implicit clock synchronization between processes in a network by letting local clocks in each process advance independently of clocks in other processes, and by requiring that two processes resynchronize their local time scal...
متن کاملPartial Order Reductions for Security Protocol Verification
In this paper we explore partial order reduction that make the task of verifying cryptographic protocols more efficient. These reduction techniques have been implemented in our tool BRUTUS. Although we have implemented several reduction techniques in our tool BRUTUS, due to space restrictions in this paper we only focus on partial order reductions. Partial order reductions have proved very usef...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2020
ISSN: 1076-9757
DOI: 10.1613/jair.1.11936